limit 2^(4 n)/(n binomial(2 n, n)^2) as n -> inf